منابع مشابه
ASHER and ALEX LASCARIDES INDIRECT SPEECH ACTS
In this paper, we address several puzzles concerning speech acts, particularly indirect speech acts. We show how a formal semantic theory of discourse interpretation can be used to define speech acts and to avoid murky issues concerning the metaphysics of action. We provide a formally precise definition of indirect speech acts, including the subclass of so-called conventionalized indirect speec...
متن کاملCleaner Cars and Fuels
Advances in vehicle design and fuel quality mean cars can be made cleaner and more efficient. Lower emissions of carbon monoxide (CO), nitrogen oxides (NOx), sulphur dioxide (SO2), particles (including the fine dust and soot PM10) and hydrocarbons (HCs) also known as volatile organic compounds (VOCs) will lead to better urban air quality and less summertime smog. Lower emissions of carbon dioxi...
متن کاملCleaner fish
The authorities in Modena hope the bats can stop the onslaught of the tiger mosquito. Council workers place the bat boxes in quiet, dark, south-facing sites that bats prefer for breeding in the early months of the year. “We are trying to think of what we could do to exploit their natural predators and so we thought of bats,” says Modena’s environment councillor Simona Arletti. “Until now the me...
متن کاملModel-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology
We characterize the models of Asher and Vieu’s first-order mereotopology RT0 in terms of mathematical structures with well-defined properties: topological spaces, lattices, and graphs. We give a full representation theorem for the models of the subtheory RT− (RT0 without existential axioms) as p-ortholattices (pseudocomplemented, orthocomplemented). We further prove that the finite models of RT...
متن کاملModel-Theoretic Analysis of Asher And Vieu's Mereotopology
Model-Theoretic Analysis of Asher And Vieu's Mereotopology
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Illuminating Engineering Institute of Japan
سال: 1991
ISSN: 0019-2341,1349-838X,2185-1506
DOI: 10.2150/jieij1980.75.appendix_237